<!DOCTYPE html>
<html lang="en-US">

<h1>Theseus Documentation</h1>

<p>Welcome to the online docs for Theseus! There are two kinds of docs available: </p>
<ul>
    <li> <a href="./doc/___Theseus_Crates___/index.html">Source-level documentation</a> (rustdoc) </li>
    <li> The <a href="./book/index.html">Theseus Book</a>, a higher-level overview of Theseus design concepts. </li>
</ul>

<p>You can also check out the main Theseus <a href="https://github.com/theseus-os/Theseus/blob/theseus_main/README.md">README</a> file for a quick start guide. </p>
